1. Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
پدیدآورنده : Hirschfeldt, Denis Roman
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Reverse mathematics,، Computable functions,، Decidability )Mathematical logic(
رده :
QA
3
.
A475
no
.
1187
2. Reverse Mathematics
پدیدآورنده : \ John Stillwell
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Reverse mathematics
رده :
E-Book
,
3. Reverse mathematics : proofs from the inside out
پدیدآورنده : Stillwell, John
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Reverse mathematics
رده :
QA
9
.
25
.
S74R4
4. Reversibility in dynamics and group theory
پدیدآورنده : O'Farrell, Anthony G.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Conjugacy classes,، Group theory,، Automorphisms,، Dynamics,، Reverse mathematics
رده :
QA
174
.
2
.
O34R4
